ocr: FIGURE 4 Vard-Mellor notation with timing extenstons. Backgroundis: shadedifit must run during overloads, Input Output Task Name a,b C d - 4s (Request rate) ar mimmum ratio, outputs toiputs. Execution b-maximum ratio, out/in, coetticient cmean valuie over life of exccution. Time a worst case value to analyze for,